post condition meaning in English
后置条件
Examples
- By using the pre and post conditions as shown in this example
的形参和返回值，如下面的示例所示： - Warning c6507 : annotation conflict : null property at deref 0 on a post condition must be a subset of the null property on the precondition
警告c6507 ：批注冲突:后置条件中deref = 0处的null属性必须是前置条件中null属性的一个子集 - The pre - conditions needed to invoke a service and the post conditions that can result are communicated the current state and optional guards , as well as the next state are specified by the transition
呼叫服务需要的前置条件和会产生的后置条件是相通的目前状态和可选的监护以及下一状态都是透过转换指定的。